верифицирующее условие

верифицирующее условие
(в технике доказательства правильности программ) verification condition

Русско-английский словарь по вычислительной технике и программированию . 2013.

Игры ⚽ Поможем сделать НИР

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”